| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Berechenbarkeit und Komplexität | Übung | 536226 | Mo 16:30-18:00 AH I (2350|028) (×5) Mi 16:30-18:00 AH II (2350|111) (×1) | ||
| Fach-/Modulprüfung | 6 | 540867 | Do 19.02.2026 17:30-19:30 Großer Hörsaal AM (1420|210) Grüner Hörsaal AM (Gr) (1420|001) H01 (1385|101) H02 (1385|102) Otto Fuchs-Hörsaal (H03) (1385|003) Roter Hörsaal AM (Ro) (1420|002) TEMP1 (1515|001) TEMP2 (1515|002) Do 19.03.2026 09:00-11:00 H01 (1385|101) H02 (1385|102) TEMP2 (1515|002) | ||
| Vorlesung | 538101 | Mo 08:30-10:00 TEMP1 (1515|001) (×15) Mo 08:30-10:00 TEMP2 (1515|002) (×15) Fr 16:15-18:15 Großer Hörsaal AM (1420|210) (×1) Fr 16:15-18:15 Grüner Hörsaal AM (Gr) (1420|001) (×1) Fr 16:15-18:15 H01 (1385|101) (×1) Fr 16:15-18:15 H02 (1385|102) (×1) Fr 16:15-18:15 Roter Hörsaal AM (Ro) (1420|002) (×1) Fr 16:30-18:00 H02 (1385|102) (×4) Fr 16:30-18:00 TEMP1 (1515|001) (×10) | |||
| Tutorium | 537943 | Do 08:30-10:00 5052 (2356|052) (×14) Do 08:30-10:00 SFo 3 (1821|003) (×14) Do 08:30-10:00 Z2 (1420|303) (×14) Do 10:30-12:00 R 220 (1080|220) (×14) Do 10:30-12:00 S01 (1385|201) (×14) Do 10:30-12:00 S11 (1385|211) (×14) Do 16:30-18:00 5054 (2356|054) (×14) Do 16:30-18:00 5056 (2356|056) (×14) Do 16:30-18:00 S08 (1385|208) (×14) Do 16:30-18:00 Z2 (1420|303) (×14) Fr 08:30-10:00 5052 (2356|052) (×14) Fr 08:30-10:00 S04 (1385|204) (×14) Fr 08:30-10:00 S12 (1385|212) (×14) Fr 08:30-10:00 S13 (1385|213) (×14) Fr 08:30-10:00 Z2 (1420|303) (×14) Fr 12:30-14:00 5052 (2356|052) (×14) Fr 12:30-14:00 5054 (2356|054) (×14) Fr 12:30-14:00 5055 (2356|055) (×14) Fr 12:30-14:00 S09 (1385|209) (×14) Fr 12:30-14:00 S14 (1385|214) (×14) Fr 14:30-16:00 5052 (2356|052) (×14) Fr 14:30-16:00 S07 (1385|207) (×14) Fr 14:30-16:00 S12 (1385|212) (×14) Fr 14:30-16:00 S13 (1385|213) (×14) Fr 14:30-16:00 Z2 (1420|303) (×14) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 541246 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 540923 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 544576 | Mo 09.02.2026 09:00-11:00 Großer Hörsaal AM (1420|210) Grüner Hörsaal AM (Gr) (1420|001) Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420|210) | |
| Vorlesung | 537573 | Mi 12:30-14:00 AH III (2350|314.1) (×15) Do 10:30-12:00 AH I (2350|028) (×15) | |||
| Übung | 536600 | Fr 14:30-16:00 AH III (2350|314.1) (×15) |